Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Theorem Provers
SMT Solvers, Z3, Automated Reasoning, Formal Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184302
posts in
9.4
ms
A Minimal Agent for Automated
Theorem
Proving
arxiv.org
·
1d
🧩
Constraint Solvers
MTZK
: Testing and Exploring Bugs in Zero-Knowledge (
ZK
) Compilers
papers.cool
·
1d
🧪
Compiler Testing
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
📈
Monotonic Logic
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧸
Toy Compilers
One-Token
Verification for Reasoning
Correctness
Estimation
arxiv.org
·
4h
🧩
SAT Solvers
Recursive
SNARKs
Explained: How
Proofs
Verify Other
Proofs
dev.to
·
2d
·
Discuss:
DEV
⚖️
Inference Rules
PropertyGPT
: LLM-driven
Formal
Verification of Smart Contracts through Retrieval-Augmented Property Generation
papers.cool
·
1d
🎲
Property Testing
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
14h
·
Discuss:
Hacker News
🧮
Combinator Calculus
Differential
Logic
• 15
inquiryintoinquiry.com
·
15h
🧩
Constraint Logic
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
Implementing
constexpr
parameters
using C++26 reflection (kind of)
godbolt.org
·
3h
·
Discuss:
r/cpp
🔗
Lexical Scoping
RalphMAD
– Autonomous SDLC Workflows for Claude Code (
BMAD
and Ralph Loop)
news.ycombinator.com
·
45m
·
Discuss:
Hacker News
🎭
Program Synthesis
MAGIC-AI4Med/DeepRare
: Code implementation of
DeepRare
(Nature 2026)
github.com
·
19h
✨
Effect Inference
KlongPy
: Automatic
Differentiation
klongpy.org
·
1h
·
Discuss:
Hacker News
⚡
Partial Evaluation
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
1d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Idempotency
in AI Tools: The Most Expensive Thing Teams
Forget
dzone.com
·
14h
🔄
Coroutines
Evaluating the
Logical
Reasoning
Ability
of ChatGPT and GPT-4
dev.to
·
1d
·
Discuss:
DEV
🎯
Finite Automata
Qwen 3.5 9B, 4B models beating
30B
,
80B
models
huggingface.co
·
13h
·
Discuss:
Hacker News
🏁
Language Benchmarks
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
6h
🚂
Error Propagation
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
14h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help